include(${PROJECT_SOURCE_DIR}/CMakeFunctions.cmake)

file( GLOB TEST_TRANS_SRCS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} test_*.c )
add_test_suite(
        SUITE check_trans
        RUNNER ../fa/runner_fa.c ../premise/runner_premise.c runner_trans.c
        TARGET trans
        SOURCES ${TEST_TRANS_SRCS})

#add_cmocka_stubs(test_sys macro_function)
#add_cmocka_stubs(test_init fopen)

#add_cmocka_stubs(test_matcher get_mappings expand_lex match)

